I defend the normativity of meaning against recent objections by arguing for a new interpretation of the ‘ought’ relevant to meaning. Both critics and defenders of the normativity thesis have understood statements about how an expression ought to be used as either prescriptive or semantic. I propose an alternative view of the ‘ought’ as conveying the primitively normative attitudes speakers must adopt towards their uses if they are to use the expression with understanding.

In this book she describes the perplexing crises which modern society faces as a result of the loss of meaning of the traditional key words of politics: justice ...

A joke is amusing if and only if it’s fitting to be amused by it; an act is regrettable if and only if it’s fitting to regret it. Many philosophers accept these biconditionals and hold that analogous ones obtain between a wide range of additional evaluative properties and the fittingness of corresponding responses. Call these the _fit–value biconditionals_. The biconditionals give us a systematic way of recognizing the role of fit in our ethical practices; they also serve as the bedrock (...) of various metaethical projects, such as fitting-attitude analysis of value and the ‘fittingness first’ approach. Yet despite the importance of the biconditionals, there is very little discussion of their proper interpretation. This paper argues that any plausible interpretation of the fit_–_value biconditionals must disarm several kinds of apparent counterexample. For instance, that an achievement is pride-worthy doesn’t imply it is fitting for me to take pride in it because the achievement might not be mine or that of anyone close to me; that a joke is amusing doesn’t imply it is fitting for me to be amused by it for six straight months; and that a person is loveable doesn’t imply it is fitting for me to love him romantically because that person might be my sibling. We consider possible responses to such counterexamples and develop what we consider the most promising interpretation of the biconditionals. The upshot is that certain widespread assumptions about fit and its relation to value and reasons should be reconsidered. (shrink)

Faultless disagreement and faultless retraction have been taken to motivate relativism for predicates of personal taste, like ‘tasty’. Less attention has been devoted to the question of what aspect of their meaning underlies this relativist behavior. This paper illustrates these same phenomena with a new category of expressions: appearance predicates, like ‘tastes vegan’ and ‘looks blue’. Appearance predicates and predicates of personal taste both fall into the broader category of experiential predicates. Approaching predicates of personal taste from this angle suggests (...) that their relativist behavior is due to their experience-sensitivity, rather than their evaluative meaning. Furthermore, appearance predicates hold interest beyond what they can teach us about predicates of personal taste. Examination of a variety of uses of appearance predicates reveals that they give rise to relativist behavior for a variety of reasons—including some that apply also to other types of expressions, such as epistemic modals and comparative terms. This paper thus serves both to probe the source of relativist behavior in discourse about personal taste, as well as to map out this kind of behavior in the rich and under-explored discourse about appearances. (shrink)

What words we use, and what meanings they have, is important. We shouldn't use slurs; we should use 'rape' to include spousal rape (for centuries we didn’t); we should have a word which picks out the sexual harassment suffered by people in the workplace and elsewhere (for centuries we didn’t). Sometimes we need to change the word-meaning pairs in circulation, either by getting rid of the pair completely (slurs), changing the meaning (as we did with 'rape'), or adding brand new (...) word-meaning pairs (as with 'sexual harassment'). A problem, though, is how to do this. One might worry that any attempt to change language in this way will lead to widespread miscommunication and confusion. I argue that this is indeed so, but that's a feature, not a bug of attempting to change word-meaning pairs. The miscommunications and confusion such changes cause can lead us, via a process I call transformative communicative disruption, to reflect on our language and its use, and this can be further, rather than hinder, our goal of improving language. (shrink)

We offer an interpretation of the mental files framework that eliminates the metaphor of files, information being contained in files, etc. The guiding question is whether, once we move beyond the metaphors, there is any theoretical role for files. We claim not. We replace the file-metaphor with two theses: the semantic thesis that there are irreducibly relational representational facts (viz. facts about the coordination of representations); and the metasemantic thesis that processes tied to information-relations ground those facts. In its canonical (...) statement, the ‘file’-theory makes reference to a certain kind of relational representational feature, and a certain kind of mental activity. Mental files need not come into it. In short, we posit mental filing without mental files. Our interpretation avoids awkward problems that arise on the standard interpretation and clarifies the explanatory commitments of the theory. (shrink)

In this paper I present a precise version of Stalnaker's thesis and show that it is both consistent and predicts our intuitive judgments about the probabilities of conditionals. The thesis states that someone whose total evidence is E should have the same credence in the proposition expressed by 'if A then B' in a context where E is salient as they have conditional credence in the proposition B expresses given the proposition A expresses in that context. The thesis is formalised (...) rigorously and two models are provided that demonstrate that the new thesis is indeed tenable within a standard possible world semantics based on selection functions. Unlike the Stalnaker-Lewis semantics the selection functions cannot be understood in terms of similarity. A probabilistic account of selection is defended in its place. -/- I end the paper by suggesting that this approach overcomes some of the objections often leveled at accounts of indicatives based on the notion of similarity. (shrink)

Prior to Kripke’s seminal work on the semantics of modal logic, McKinsey offered an alternative interpretation of the necessity operator, inspired by the Bolzano–Tarski notion of logical truth. According to this interpretation, ‘it is necessary that A’ is true just in case every sentence with the same logical form as A is true. In our paper, we investigate this interpretation of the modal operator, resolving some technical questions, and relating it to the logical interpretation of modality and some views in (...) modal metaphysics. In particular, we present an hitherto unpublished solution to problems 41 and 42 from Friedman’s 102 problems, which uses a different method of proof from the solution presented in the paper of Tadeusz Prucnal. (shrink)

In a famous passage from the Philosophical Investigations, Wittgenstein describes a pupil who has been learning to write out various sequences of numbers in response to orders such as “+1” and “+2”. He has shown himself competent for numbers up to 1000, but when we have him continue the “+2” sequence beyond 1000, he writes the numerals 1004, 1008, 1012. As Wittgenstein describes the case: We say to him, “Look what you’re doing!” — He doesn’t understand us. We say “You (...) should have added two; look how you began the series!” — He answers: “Yes! Isn’t it right? I thought that’s how I should [sollen] do it. — Or suppose he were to say, pointing to the series, “But I went on in the same way!”1The passage continues:— It would now be no use to us to say “But don’t you see…?” — and repeat for him the old explanations and examples. — In such a case, we might perhaps say: this person naturally understands our order, once given our explanations, as we would understand the order “Add 2 up to 1000, 4 up to 2000, 6 up to 3000, and so on.”. (shrink)

Most work on the semantic paradoxes within classical logic has centered around what this essay calls “linguistic” accounts of the paradoxes: they attribute to sentences or utterances of sentences some property that is supposed to explain their paradoxical or nonparadoxical status. “No proposition” views are paradigm examples of linguistic theories, although practically all accounts of the paradoxes subscribe to some kind of linguistic theory. This essay shows that linguistic accounts of the paradoxes endorsing classical logic are subject to a particularly (...) acute form of the revenge paradox: that there is no exhaustive classification of sentences into “good” and “bad” such that the T-schema holds when restricted to the “good” sentences unless it is also possible to prove some “bad” sentences. The foundations for an alternative classical nonlinguistic approach is outlined that is not subject to the same kinds of problems. Although revenge paradoxes of different strengths can be formulated, they are found to be indeterminate at higher orders and not inconsistent. (shrink)

I argue that we are sometimes morally responsible for having and using (or not using) our concepts, despite the fact that we generally do not choose to have them or have full or direct voluntary control over how we use them. I do so by extending an argument of Angela Smith's; the same features that she says make us morally responsible for some of our attitudes also make us morally responsible for some of our concepts. Specifically, like attitudes, concepts can (...) be (a) conceptually and rationally connected to our evaluative judgments, (b) in principle subject to rational revision (reasons‐responsive), and (c) the basis for actual and potential moral assessments of people that we have good reasons to endorse. Thus, we are open to moral appraisal on the basis of having and using (or not using) our concepts when they reflect our evaluative judgments, though even then it is not always appropriate to praise or blame us on that basis. (shrink)

A thesis I call the name-based singular thought thesis is part of orthodoxy in contemporary philosophy of mind and language: it holds that taking part in communication involving a proper name puts one in a position to entertain singular thoughts about the name’s referent. I argue, first, that proponents of the NBT thesis have failed to explain the phenomenon of name-based singular thoughts, leaving it mysterious how name-use enables singular thoughts. Second, by outlining the reasoning that makes the NBT thesis (...) seem compelling and showing how it can be resisted, I argue that giving up the NBT thesis is not a cost, but rather a benefit. I do this by providing an expanded conception of understanding for communication involving names, which sheds light on the nature of communication involving names and the structure of name-using practices. (shrink)

This three-part chapter explores a higher-order logic we call ‘Classicism’, which extends a minimal classical higher-order logic with further axioms which guarantee that provable coextensiveness is sufficient for identity. The first part presents several different ways of axiomatizing this theory and makes the case for its naturalness. The second part discusses two kinds of extensions of Classicism: some which take the view in the direction of coarseness of grain (whose endpoint is the maximally coarse-grained view that coextensiveness is sufficient for (...) identity), and some which take the view in the direction of fineness of grain (whose endpoint is the maximally fine-grained theory containing all distinctness claims compatible with Classicism). The third part introduces some techniques for constructing models of Classicism, and uses them to prove the consistency of many of the extensions of Classicism introduced in the second part. (shrink)

It has become popular of late to identify the phenomenon of thinking a singular thought with that of thinking with a mental file. Proponents of the mental files conception of singular thought claim that one thinks a singular thought about an object o iff one employs a mental file to think about o. I argue that this is false by arguing that there are what I call descriptive mental files, so some file-based thought is not singular thought. Descriptive mental files (...) are mental files for which descriptive information plays four roles: determines which object the file is about, if any, it sets limits on possible mistakes that fall within the scope of successful reference for the file, it acts as a ‘gatekeeper’ for the file, and it determines persistence conditions for the file. Contrary to popular assumption, a description playing these roles is consistent with the file-theoretic framework. Recognising this allows us to distinguish the notion of singular thought from that of file-thinking and better understand the nature and role of both. (shrink)

On the traditional relationalist conception of singular thought, a thought has singular content when it is based on an ‘information relation’ to its object. Recent work rejects relationalism and suggests singular thoughts are distinguished from descriptive thoughts by their inferential role: only thoughts with singular content can be employed in ‘direct’ inferences, or inferences that ‘trade on identity’. Firstly this view is insufficiently clear, because it conflates two distinct ideas—one about a kind of inference, the other a kind of process (...) that grounds inferences—under the title, ‘trading on identity’. Secondly, this leaves us without a notion that can be used as an alternative to relationalism about singular thought. The first notion is no more applicable to singular than to descriptive thought. The second may help us better understand singular thought, but does so, not by replacing the view that singular thoughts are information-based, but by helping us understand the nature of information-based thought. (shrink)

Some assertions give rise to the acquaintance inference: the inference that the speaker is acquainted with some individual. Discussion of the acquaintance inference has previously focused on assertions about aesthetic matters and personal tastes (e.g. 'The cake is tasty'), but it also arises with reports about how things seem (e.g. 'Tom seems like he's cooking'). 'Seem'-reports give rise to puzzling acquaintance behavior, with no analogue in the previously-discussed domains. In particular, these reports call for a distinction between the specific acquaintance (...) inference (that the speaker is acquainted with a specific individual) and the general acquaintance inference (that the speaker is acquainted with something or other of relevance). We frame a novel empirical generalization -- the specific with stage-level generalization -- that systematizes the observed behavior, in terms of the semantics of the embedded 'like'-clause. We present supporting experimental work, and explain why the generalization makes sense given the evidential role of 'seem'-reports. Finally, we discuss the relevance of this result for extant proposals about the semantics of 'seem'-reports. More modestly, it fills a gap in previous theories by identifying which reports get which of two possible interpretations; more radically, it suggests a revision of the kind of explanation that should be given for the acquaintance behavior in question. (shrink)

I defend my ‘one-act’ interpretation of Kant’s account of judgments of beauty against recent criticisms by Paul Guyer. Guyer’s text-based arguments for his own ‘two-acts’ view rely on the assumption that a claim to the universal validity of one’s pleasure presupposes the prior existence of the pleasure. I argue that pleasure in the beautiful claims its own universal validity, thus obviating the need to distinguish two independent acts of judging. The resulting view, I argue, is closer to the text and (...) more phenomenologically plausible than Guyer’s two-acts alternative. (shrink)

The result of combining classical quantificational logic with modal logic proves necessitism – the claim that necessarily everything is necessarily identical to something. This problem is reflected in the purely quantificational theory by theorems such as ∃x t=x; it is a theorem, for example, that something is identical to Timothy Williamson. The standard way to avoid these consequences is to weaken the theory of quantification to a certain kind of free logic. However, it has often been noted that in order (...) to specify the truth conditions of certain sentences involving constants or variables that don’t denote, one has to apparently quantify over things that are not identical to anything. In this paper I defend a contingentist, non-Meinongian metaphysics within a positive free logic. I argue that although certain names and free variables do not actually refer to anything, in each case there might have been something they actually refer to, allowing one to interpret the contingentist claims without quantifying over mere possibilia. (shrink)

A number of authors have objected to the application of non-classical logic to problems in philosophy on the basis that these non-classical logics are usually characterised by a classical metatheory. In many cases the problem amounts to more than just a discrepancy; the very phenomena responsible for non-classicality occur in the field of semantics as much as they do elsewhere. The phenomena of higher order vagueness and the revenge liar are just two such examples. The aim of this paper is (...) to show that a large class of non-classical logics are strong enough to formulate their own model theory in a corresponding non-classical set theory. Specifically I show that adequate definitions of validity can be given for the propositional calculus in such a way that the metatheory proves, in the specified logic, that every theorem of the propositional fragment of that logic is validated. It is shown that in some cases it may fail to be a classical matter whether a given sentence is valid or not. One surprising conclusion for non-classical accounts of vagueness is drawn: there can be no axiomatic, and therefore precise, system which is determinately sound and complete. (shrink)

In this paper the logic of broad necessity is explored. Definitions of what it means for one modality to be broader than another are formulated, and it is proven, in the context of higher-order logic, that there is a broadest necessity, settling one of the central questions of this investigation. It is shown, moreover, that it is possible to give a reductive analysis of this necessity in extensional language. This relates more generally to a conjecture that it is not possible (...) to define intensional connectives from extensional notions. This conjecture is formulated precisely in higher-order logic, and concrete cases in which it fails are examined. The paper ends with a discussion of the logic of broad necessity. It is shown that the logic of broad necessity is a normal modal logic between S4 and Triv, and that it is consistent with a natural axiomatic system of higher-order logic that it is exactly S4. Some philosophical reasons to think that the logic of broad necessity does not include the S5 principle are given. (shrink)

This paper has a narrow and a broader target. The narrow target is a particular version of what I call the mental-files conception of singular thought, proposed by Robin Jeshion, and known as cognitivism. The broader target is the MFC in general. I give an argument against Jeshion's view, which gives us preliminary reason to reject the MFC more broadly. I argue Jeshion's theory of singular thought should be rejected because the central connection she makes between significance and singularity does (...) not hold. However, my argument grants Jeshion's claim that there is a connection between significance and file-thinking. The upshot is not only that we have reason to reject Jeshion's significance constraint on singular thought, but that we have reason to question the connection made by MFC proponents between file-thinking and singularity. (shrink)

Higher-order logic augments first-order logic with devices that let us generalize into grammatical positions other than that of a singular term. Some recent metaphysicians have advocated for using these devices to raise and answer questions that bear on many traditional issues in philosophy. In contrast to these 'higher-order metaphysicians', traditional metaphysics has often focused on parallel, but importantly different, questions concerning special sorts of abstract objects: propositions, properties and relations. The answers to the higher-order and the property-theoretic questions may coincide (...) sometimes but will often come apart. I argue that when they do, the higher-order questions are closer to the metaphysical action and so it would be better for these debates to proceed in higher-order terms. (shrink)

1. Animal Cruelty Industrial farming is appallingly abusive to animals. Pigs. In America, nine-tenths of pregnant sows live in “gestation crates. ” These pens are so small that the animals can barely move. When the sows are first crated, they may flail around, in an attempt to get out. But soon they give up. Crated pigs often show signs of depression: they engage meaningless, repetitive behavior, like chewing the air or biting the bars of the stall. The sows live like (...) this for four months. Gestation crates will be phased out in Europe by the end of 2012, but they will still be used in America.1 In nature, pigs nurse their young for about thirteen weeks. But in industrial farms, piglets are taken from their mothers after about ten days. Because the piglets are weaned prematurely, they develop a lifelong craving to suck and chew. But the farmers don’t want them sucking and chewing on other pigs’ tails. So the growers routinely snip off the tails of all their pigs. They do this with a pair of pliers and no anesthetic. However, the whole tail is not removed; a tender stump remains. The point is to render the area sensitive, so the pigs being chewed on will fight back. Which they do.2 Over 113 million pigs are slaughtered each year in America.3 Typically, these pigs are castrated, their needle teeth are clipped, and one of their ears is notched for identification —all without pain relief.4 In nature, pigs spend up to three quarters of their waking hours foraging and exploring their environment.5 But in the factory farms, “tens of thousands of hogs spend their entire lives ignorant of earth or straw or sunshine, crowded together beneath a metal roof standing on metal slats suspended over a septic tank. ”6 Bored, and in constant pain, the pigs must perpetually inhale the fumes of their own waste. These pigs often get sick, and their ill health is exacerbated by the overcrowding. In 2000, the U.S. Department of Agriculture compared hog farms containing over 10,000 pigs—which is the norm—with farms containing under 2,000 pigs. (shrink)

We should give courage a more significant place in our understanding of how familiar virtues can and should be reshaped to capture what it is to be virtuous relative to the environment. Matthew Pianalto’s account of moral courage helps explain what a specifically environmental form of moral courage would look like. There are three benefits to be gained by recognizing courage as an environmental virtue: it helps us to recognize the high stakes nature of much environmental activism and to act (...) accordingly; it can make environmental activism more appealing to a broader audience by helping us dismantle stereotypes associated with environmentalism, including sexist and homophobic ones; and it aides in the de-militarization of the concept of courage. (shrink)

This paper is about the relevance of attitude-ascriptions to debates about singular thought. It examines a methodology (common to early acquaintance theorists [Kaplan 1968] and recent critics of acquaintance [Hawthorne and Manley 2012], which assumes that the behaviour of ascriptions can be used to draw conclusions about singular thought. Although many theorists (e.g. [Recanati 2012]) reject this methodology, the literature lacks a detailed examination of its implications and the challenges faced by proponents and critics. I isolate an assumption of the (...) methodology, which I call the tracking assumption: that an attitude-ascription which states that s Φ's that P is true iff s has an attitude, of Φ-ing, which is an entertaining of the content P (with entertain used in a stipulated sense). I argue that the tracking assumption must be rejected, not because it has deflationary consequences, but because it leads to unstable commitments. I also show that there are independent reasons to reject it, because ordinary attitude ascriptions underdetermine even the truth-conditions of the mental-states they ascribe. However, I argue, this does not involve rejecting the claim that attitude-ascriptions express relations between agents and contents. Instead, they state different relations depending on contextual factors other than the nature of the mental-states ascribed. (shrink)

An increasing amount of contemporary philosophy of mathematics posits, and theorizes in terms of special kinds of mathematical modality. The goal of this paper is to bring recent work on higher-order metaphysics to bear on the investigation of these modalities. The main focus of the paper will be views that posit mathematical contingency or indeterminacy about statements that concern the `width' of the set theoretic universe, such as Cantor's continuum hypothesis. Within a higher-order framework I show that contingency about the (...) width of the set-theoretic universe refutes two orthodoxies concerning the structure of modal reality: the view that the broadest necessity has a logic of S5, and the "Leibniz biconditionals" stating that what is possible, in the broadest sense of possible, is what is true in some possible world. Nonetheless, I suggest that the underlying picture of modal set-theory is coherent and has attractions. (shrink)

This paper argues that the theory of structured propositions is not undermined by the Russell-Myhill paradox. I develop a theory of structured propositions in which the Russell-Myhill paradox doesn't arise: the theory does not involve ramification or compromises to the underlying logic, but rather rejects common assumptions, encoded in the notation of the $\lambda$-calculus, about what properties and relations can be built. I argue that the structuralist had independent reasons to reject these underlying assumptions. The theory is given both a (...) diagrammatic representation, and a logical representation in a novel language. In the latter half of the paper I turn to some technical questions concerning the treatment of quantification, and demonstrate various equivalences between the diagrammatic and logical representations, and a fragment of the $\lambda$-calculus. (shrink)

We develop a theory of necessity operators within a version of higher-order logic that is neutral about how fine-grained reality is. The theory is axiomatized in terms of the primitive of *being a necessity*, and we show how the central notions in the philosophy of modality can be recovered from it. Various questions are formulated and settled within the framework, including questions about the ordering of necessities under strength, the existence of broadest necessities satisfying various logical conditions, and questions about (...) their logical behaviour. We also wield the framework to probe the conditions under which a logicist account of necessities is possible, in which the theory is completely reducible to logic. (shrink)

The so-called ‘mental files theory’ in the philosophy of mind stems from an analogy comparing object-concepts to ‘files’, and the mind to a ‘filing system’. Though this analogy appears in philosophy of mind and language from the 1970s onward, it remains unclear to many how it should be interpreted. The central commitments of the mental files theory therefore also remain unclear. Based on influential uses of the file analogy within philosophy, I elaborate three central explanatory roles for mental files. Next, (...) I outline several common criticisms of the file picture, which have been a source of resistance to the view. Finally, I outline several interpretations of the theory, thus highlighting that the best interpretation of the file-theory's central analogy remains a live issue. (shrink)

This paper attributes to Nietzsche a theory of cultural development according to which pyramid societies—steeply hierarchical societies following a unified morality—systematically alternate with motley societies, which emerge when pyramid societies encounter other cultures or allow their strict mores to relax. Motley societies contain multiple value systems due to individual innovation or intercultural contact, and are less stringent in dictating individuals' roles. Consequently, many people are torn between incompatible values and lack direction, so they are drawn to a morality of mediocrity, (...) which offers the modest goals of comfort and conformity. However, the need to mediate between conflicting values also tends to yield exceptional individuals who create new values, and can reshape the society into a new pyramid society governed by those values. I argue that Nietzsche favors neither type of society at the expense of the other, but believes the alternation itself is valuable: a pyramid society develops a value system to its full potential; then, when it encounters alternative values, the extraordinary individuals in the resulting motley society synthesize the competing systems into a fuller vision of human flourishing. (shrink)

Those inclined to positions in the philosophy of time that take tense seriously have typically assumed that not all regions of space-time are equal: one special region of space-time corresponds to what is presently happening. When combined with assumptions from modern physics this has the unsettling consequence that the shape of this favored region distinguishes people in certain places or people traveling at certain velocities. In this paper I shall attempt to avoid this result by developing a tensed picture of (...) reality that is nonetheless consistent with ‘hypersurface egalitarianism’—the view that all hypersurfaces are equal. (shrink)

A new reading of Plato's account of conventionalism about names in the Cratylus. It argues that Hermogenes' position, according to which a name is whatever anybody 'sets down' as one, does not have the counterintuitive consequences usually claimed. At the same time, Plato's treatment of conventionalism needs to be related to his treatment of formally similar positions in ethics and politics. Plato is committed to standards of objective natural correctness in all such areas, despite the problematic consequences which, as he (...) himself shows, arise in the case of language. (shrink)

Davidson claims that nothing can count as a reason for a belief except another belief. This claim is challenged by McDowell, who holds that perceptual experiences can count as reasons for beliefs. I argue that McDowell fails to take account of a distinction between two different senses in which something can count as a reason for belief. While a non-doxastic experience can count as a reason for belief in one of the two senses, this is not the sense which is (...) presupposed in Davidson's claim. While I focus on McDowell's view, the argument generalizes to other views which take experiences as reasons for belief. (shrink)

Assertions about appearances license inferences about the speaker's perceptual experience. For instance, if I assert, 'Tom looks like he's cooking', you will infer both that I am visually acquainted with Tom (what I call the "individual acquaintance inference"), and that I am visually acquainted with evidence that Tom is cooking (what I call the "evidential acquaintance inference"). By contrast, if I assert, 'It looks like Tom is cooking', only the latter inference is licensed. I develop an account of the acquaintance (...) inferences of appearance assertions building on two main previous lines of research: first, the copy raising literature, which has aimed to account for individual acquaintance inferences through the "perceptual source" semantic role; second, the subjectivity literature, which has focused on the status of acquaintance inferences with predicates of personal taste, but hasn't given much attention to the added complexities introduced by appearance language. I begin by developing what I take to be the most empirically-sound version of a perceptual source analysis. I then show how its insights can be maintained, while however taking anything about perception out of the truth conditions of appearance sentences. This, together with the assumption that appearance assertions express experiential attitudes, allows us to capture the acquaintance inferences of bare appearance assertions without making incorrect predictions about the behavior of appearance verbs in embedded environments. (shrink)

In Talking about, Unnsteinsson defends an intentionalist theory of reference by arguing that confused referential intentions degrade reference. Central to this project is a “belief model” of both identity confusion and unconfused thought. By appealing to a well‐known argument from Campbell, I argue that this belief model falls short, because it fails to explain the inferential behavior it promises to explain. Campbell's argument has been central in the contemporary literature on Frege's puzzle, but Unnsteinsson's account of confusion provides an opportunity (...) for more clarity about how the argument is best interpreted, and what it shows. (shrink)

In explaining the notion of a fundamental property or relation, metaphysicians will often draw an analogy with languages. The fundamental properties and relations stand to reality as the primitive predicates and relations stand to a language: the smallest set of vocabulary God would need in order to write the “book of the world.” This paper attempts to make good on this metaphor. To that end, a modality is introduced that, put informally, stands to propositions as logical truth stands to sentences. (...) The resulting theory, formulated in higher-order logic, also vindicates the Humean idea that fundamental properties and relations are freely recombinable and a variant of the structural idea that propositions can be decomposed into their fundamental constituents via logical operations. Indeed, it is seen that, although these ideas are seemingly distinct, they are not independent, and fall out of a natural and general theory about the granularity of reality. (shrink)

The principle of universal instantiation plays a pivotal role both in the derivation of intensional paradoxes such as Prior’s paradox and Kaplan’s paradox and the debate between necessitism and contingentism. We outline a distinctively free logical approach to the intensional paradoxes and note how the free logical outlook allows one to distinguish two different, though allied themes in higher-order necessitism. We examine the costs of this solution and compare it with the more familiar ramificationist approaches to higher-order logic. Our assessment (...) of both approaches is largely pessimistic, and we remain reluctantly inclined to take Prior’s and Kaplan’s derivations at face value. (shrink)

As Christian List (2021) has recently argued, the increasing arrival of powerful AI systems that operate autonomously in high-stakes contexts creates a need for “future-proofing” our regulatory frameworks, i.e., for reassessing them in the face of these developments. One core part of our regulatory frameworks that dominates our everyday moral interactions is blame. Therefore, “future-proofing” our extant regulatory frameworks in the face of the increasing arrival of powerful AI systems requires, among others things, that we ask whether it makes sense (...) to extend our blaming practices to these systems. In the paper, we argue for the admittedly surprising thesis that this question should be answered in the affirmative: contrary to what one might initially think, it can make a lot of sense to blame AI systems, since, as we furthermore argue, many of the important functions that are fulfilled by blaming humans can also be served by blaming AI systems. The paper concludes that this result gives us a good pro tanto reason to extend our blame practices to AI systems. (shrink)

We explore the view that Frege's puzzle is a source of straightforward counterexamples to Leibniz's law. Taking this seriously requires us to revise the classical logic of quantifiers and identity; we work out the options, in the context of higher-order logic. The logics we arrive at provide the resources for a straightforward semantics of attitude reports that is consistent with the Millian thesis that the meaning of a name is just the thing it stands for. We provide models to show (...) that some of these logics are non-degenerate. (shrink)

This chapter offers phenomenological ethics of intimacy for experiences of isolation, reduced haptic relations, and periods when we must hold each other at a distance. How can we practice an ethics of intimacy from a space of separation and suspended activities involving bodily proximity and touch? By drawing on Luce Irigaray’s identification of a “caress before the caress,” I locate a queer, feminist ethics of intimacy born from the experience of undetermined desire or “erotic suspension.” The reduction and disruption of (...) touching, brought about by a crisis such as a pandemic, magnifies the experience of ethical or epistemological uncertainty surrounding haptic relations. But I argue that the experience of erotic suspension before the caress underlies all forms of being-together. One’s relationship to this moment before the caress is critical because it informs and transforms the way we are together. The disruption of our usual forms of being-together may be an opportunity for transformed ethical relations, the expansion of intimacy, and heightened sensation and pleasure. (shrink)

'Hands Tied' brings together two very different films about hands: Maria Lassnig's Palmistry (1973) and Ayesha Hameed's A Rough History (of the Destruction of Fingerprints) (2016). These works are contextualised and their scope extended further by a roundtable discussion featuring participants Rachel Aumiller, Sam Dolbear, Nadine El-Enany, Amelia Groom, Clio Nicastro, Anja Sunhyun Michaelsen, and M. Ty., who discuss their relation to fate, work, pleasure, touch, and surveillance.

Recent work on blameworthiness has prominently featured discussions of guilt. The philosophers who develop guilt-based views of blameworthiness do an excellent job of attending to the evaluative and affective features of feeling guilty. However, these philosophers have been less attentive to guilt’s characteristic action tendencies and the role admissions of guilt play in our blaming practices. This paper focuses on the nature of guilty confession and argues that it illuminates an important function of blame that has been overlooked in the (...) recent work on guilt as it relates to blameworthiness: Blame can communicate respect. (shrink)

Imagination comes with varying degrees of sensory accompaniment. Sometimes imagining is phenomenologically lean (cognitive imagining); at other times, imagining involves or requires sensory presentation such as mental imagery (sensory imagining). Philosophers debate whether contradictions can obtain in fiction and whether cognitive imagining is robust enough to explain our engagement with fiction. In this paper, I defend the Principle of Poetic License by arguing for the Permissive View of fictional truth: we can have fictions in which a contradiction is true, everything (...) is true, or nothing is true. I show that imagination-based worries about impossible, unlimited, and empty fictions can be shown to be about sensory imagination and that sensory imagination isn’t necessary for fictional truth. (shrink)

An increasing amount of twenty-first century metaphysics is couched in explicitly hyperintensional terms. A prerequisite of hyperintensional metaphysics is that reality itself be hyperintensional: at the metaphysical level, propositions, properties, operators, and other elements of the type hierarchy, must be more fine-grained than functions from possible worlds to extensions. In this paper I develop, in the setting of type theory, a general framework for reasoning about the granularity of propositions and properties. The theory takes as primitive the notion of a (...) substitution on a proposition (property, etc.) and, among other things, uses this idea to elucidate a number of theoretically important distinctions. A class of structures are identified which can be used to model a wide range of positions about the granularity of reality; certain of these structures are seen to receive a natural treatment in the category of M-sets. (shrink)